Testing with Axioms in C++ 2011

نویسندگان

  • Anya Helene Bagge
  • Valentin David
  • Magne Haveraaen
چکیده

Unit testing is an important part of modern software development, where individual code units are tested in isolation. Such tests are typically case-based, checking a likely error scenario or an error that has previously been identified and fixed. Coming up with good test cases is challenging, particularly when testing generic code, and focusing on individual tests can distract from creating tests that cover the full functionality. Concepts provide a generic way of describing code interfaces for generic code. Together with axioms, program behaviour can be specified algebraically in a formal or semi-formal way. In this paper we show how concepts and axioms can be expressed in standard C++ 2011, and explore how to generate generic unit tests, by treating the axioms as code to be evaluated with test data. We also show a generic way to generate test data for axiom-based testing in C++ 2011.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

BASE AXIOMS AND SUBBASE AXIOMS IN M-FUZZIFYING CONVEX SPACES

Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with  $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...

متن کامل

Reusability and Adaptivity of a Web-based Boolean Axioms Application

A Web-based application, called Virtual Instrument, concerning Boolean axioms, is presented in the article. The instrument can be used for self-education and for self-testing, both in three languages: Bulgarian, German and English. In the self-education mode it possesses adaptivity – the process of self-education last shorter, when the user knows more and learns quickly and last longer, if the ...

متن کامل

The Money Pump as a Measure of Revealed Preference Violations

We introduce a measure of the severity of violations of the revealed preference axioms, which we call the money pump index (MPI). The measure is based on the idea that a consumer who violates the axioms is subject to being exploited as a money pump. The MPI has a simple interpretation as the certain dollar amount that can be extracted from a consumer who behaves irrationally. We carry out an em...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of Object Technology

دوره 10  شماره 

صفحات  -

تاریخ انتشار 2011